[INFO] cloning repository https://github.com/remexre/wam-tutorial-reconstruction
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/remexre/wam-tutorial-reconstruction" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fremexre%2Fwam-tutorial-reconstruction", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fremexre%2Fwam-tutorial-reconstruction'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] af142d5921eedde36dc5c36b29bf08053336e21b
[INFO] fixing remexre/wam-tutorial-reconstruction against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=end=2015,2024 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fremexre%2Fwam-tutorial-reconstruction" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/remexre/wam-tutorial-reconstruction
[INFO] finished tweaking git repo https://github.com/remexre/wam-tutorial-reconstruction
[INFO] tweaked toml for git repo https://github.com/remexre/wam-tutorial-reconstruction written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/remexre/wam-tutorial-reconstruction on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/remexre/wam-tutorial-reconstruction already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * src/bin/options.rs
[INFO] [stderr] * src/bin/logger.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `wam-tutorial-reconstruction` (manifest) generated 2 warnings
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6
[INFO] running `Command { std: "docker" "start" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=end=2015,2024", kill_on_drop: false }`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating Cargo.toml from 2015 edition to 2018
[INFO] [stderr] warning: Cargo.toml: An explicit [[bin]] section is specified in Cargo.toml which currently
[INFO] [stderr] disables Cargo from automatically inferring other binary targets.
[INFO] [stderr] This inference behavior will change in the Rust 2018 edition and the following
[INFO] [stderr] files will be included as a binary target:
[INFO] [stderr] 
[INFO] [stderr] * src/bin/options.rs
[INFO] [stderr] * src/bin/logger.rs
[INFO] [stderr] 
[INFO] [stderr] This is likely to break cargo build or cargo test as these files may not be
[INFO] [stderr] ready to be compiled as a binary target today. You can future-proof yourself
[INFO] [stderr] and disable this warning by adding `autobins = false` to your [package]
[INFO] [stderr] section. You may also move the files to a location where Cargo would not
[INFO] [stderr] automatically infer them to be a target, such as in subfolders.
[INFO] [stderr] 
[INFO] [stderr] For more information on this warning you can consult
[INFO] [stderr] https://github.com/rust-lang/cargo/issues/5330
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `wam-tutorial-reconstruction` (manifest) generated 2 warnings
[INFO] [stderr]     Checking libc v0.2.39
[INFO] [stderr]    Compiling semver v0.1.20
[INFO] [stderr]    Compiling cc v1.0.5
[INFO] [stderr]    Compiling unicode-xid v0.0.4
[INFO] [stderr]    Compiling quote v0.3.15
[INFO] [stderr]     Checking unicode-width v0.1.4
[INFO] [stderr]     Checking bitflags v1.0.1
[INFO] [stderr]     Checking bitflags v0.4.0
[INFO] [stderr]     Checking strsim v0.7.0
[INFO] [stderr]    Compiling proc-macro2 v0.2.3
[INFO] [stderr]     Checking vec_map v0.8.0
[INFO] [stderr]     Checking regex-syntax v0.5.0
[INFO] [stderr]     Checking spin v0.4.6
[INFO] [stderr]     Checking thread_local v0.3.5
[INFO] [stderr]     Checking ansi_term v0.10.2
[INFO] [stderr]     Checking either v1.4.0
[INFO] [stderr]     Checking bit-vec v0.4.4
[INFO] [stderr]     Checking textwrap v0.9.0
[INFO] [stderr]    Compiling synom v0.11.3
[INFO] [stderr]     Checking symbol v0.1.1
[INFO] [stderr]     Checking quick-error v1.2.1
[INFO] [stderr]     Checking regex-syntax v0.4.2
[INFO] [stderr]    Compiling syn v0.11.11
[INFO] [stderr]    Compiling rustc_version v0.1.7
[INFO] [stderr]     Checking bit-set v0.4.0
[INFO] [stderr]     Checking memchr v2.0.1
[INFO] [stderr]     Checking atty v0.2.8
[INFO] [stderr]     Checking memchr v1.0.2
[INFO] [stderr]     Checking rand v0.4.2
[INFO] [stderr]    Compiling quote v0.4.2
[INFO] [stderr]     Checking nom v3.2.1
[INFO] [stderr]     Checking clap v2.31.1
[INFO] [stderr]     Checking aho-corasick v0.6.4
[INFO] [stderr]    Compiling syn v0.12.13
[INFO] [stderr]    Compiling nix v0.7.0
[INFO] [stderr]     Checking proptest v0.5.1
[INFO] [stderr]    Compiling backtrace-sys v0.1.16
[INFO] [stderr]    Compiling synstructure v0.6.1
[INFO] [stderr]    Compiling failure_derive v0.1.1
[INFO] [stderr]     Checking regex v0.2.7
[INFO] [stderr]     Checking linefeed v0.4.0
[INFO] [stderr]    Compiling structopt-derive v0.2.5
[INFO] [stderr]     Checking structopt v0.2.5
[INFO] [stderr]     Checking backtrace v0.3.5
[INFO] [stderr]     Checking failure v0.1.1
[INFO] [stderr]     Checking wam-tutorial-reconstruction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Migrating src/lib.rs from 2015 edition to 2018
[INFO] [stderr]        Fixed src/flat/store.rs (1 fix)
[INFO] [stderr]        Fixed src/flat/compile/clause.rs (1 fix)
[INFO] [stderr]        Fixed src/unification/program.rs (2 fixes)
[INFO] [stderr]        Fixed src/lib.rs (1 fix)
[INFO] [stderr]        Fixed src/common/tests/prop.rs (2 fixes)
[INFO] [stderr]        Fixed src/unification/flatten.rs (2 fixes)
[INFO] [stderr]        Fixed src/unification/mod.rs (4 fixes)
[INFO] [stderr]        Fixed src/flat/compile/fact.rs (2 fixes)
[INFO] [stderr]        Fixed src/flat/control.rs (1 fix)
[INFO] [stderr]        Fixed src/test_utils.rs (1 fix)
[INFO] [stderr]        Fixed src/unification/store.rs (1 fix)
[INFO] [stderr]        Fixed src/flat/mod.rs (4 fixes)
[INFO] [stderr]        Fixed src/flat/compile/flatten.rs (1 fix)
[INFO] [stderr]        Fixed src/common/tests/mod.rs (3 fixes)
[INFO] [stderr]        Fixed src/unification/control.rs (1 fix)
[INFO] [stderr]        Fixed src/common/parsers.rs (1 fix)
[INFO] [stderr]        Fixed src/flat/compile/mod.rs (2 fixes)
[INFO] [stderr]        Fixed src/unification/query.rs (2 fixes)
[INFO] [stderr]    Migrating src/bin/main.rs from 2015 edition to 2018
[INFO] [stderr]        Fixed src/bin/main.rs (1 fix)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.16s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: bitflags v0.4.0, nom v3.2.1, syn v0.12.13
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 5`
[INFO] [stderr] crater-edition-check: wam-tutorial-reconstruction v0.1.0 (/opt/rustwide/workdir) updating edition from 2015 to 2018
[INFO] [stderr]     Checking wam-tutorial-reconstruction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:12
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |            ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(ellipsis_inclusive_range_patterns)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:24
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |                        ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:36
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |                                    ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:12
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |            ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(ellipsis_inclusive_range_patterns)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:24
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |                        ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `...` range patterns are deprecated
[INFO] [stdout]    --> src/common/parsers.rs:184:36
[INFO] [stdout]     |
[INFO] [stdout] 184 |         'a'...'f' | 'A'...'F' | '0'...'9' => true,
[INFO] [stdout]     |                                    ^^^ help: use `..=` for an inclusive range
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::sync::ONCE_INIT`: the `Once::new()` function is now preferred
[INFO] [stdout]    --> src/common/mod.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 104 | /         lazy_static! {
[INFO] [stdout] 105 | |             static ref PLAIN: Regex = Regex::new("^[a-z0-9][a-zA-Z_0-9]*$").unwrap();
[INFO] [stdout] 106 | |         }
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `__lazy_static_create` which comes from the expansion of the macro `lazy_static` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::sync::ONCE_INIT`: the `Once::new()` function is now preferred
[INFO] [stdout]    --> src/common/mod.rs:178:1
[INFO] [stdout]     |
[INFO] [stdout] 178 | / lazy_static! {
[INFO] [stdout] 179 | |     static ref VARIABLE_NAME: Regex =
[INFO] [stdout] 180 | |         Regex::new("^(_[a-zA-Z_0-9]|[A-Z])[a-zA-Z_0-9]*$").unwrap();
[INFO] [stdout] 181 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `__lazy_static_create` which comes from the expansion of the macro `lazy_static` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:46:14
[INFO] [stdout]    |
[INFO] [stdout] 46 |     ) -> Box<'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>>;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 46 |     ) -> Box<dyn 'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>>;
[INFO] [stdout]    |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::sync::ONCE_INIT`: the `Once::new()` function is now preferred
[INFO] [stdout]    --> src/common/mod.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 104 | /         lazy_static! {
[INFO] [stdout] 105 | |             static ref PLAIN: Regex = Regex::new("^[a-z0-9][a-zA-Z_0-9]*$").unwrap();
[INFO] [stdout] 106 | |         }
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout]     = note: this warning originates in the macro `__lazy_static_create` which comes from the expansion of the macro `lazy_static` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::sync::ONCE_INIT`: the `Once::new()` function is now preferred
[INFO] [stdout]    --> src/common/mod.rs:178:1
[INFO] [stdout]     |
[INFO] [stdout] 178 | / lazy_static! {
[INFO] [stdout] 179 | |     static ref VARIABLE_NAME: Regex =
[INFO] [stdout] 180 | |         Regex::new("^(_[a-zA-Z_0-9]|[A-Z])[a-zA-Z_0-9]*$").unwrap();
[INFO] [stdout] 181 | | }
[INFO] [stdout]     | |_^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this warning originates in the macro `__lazy_static_create` which comes from the expansion of the macro `lazy_static` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/lib.rs:46:14
[INFO] [stdout]    |
[INFO] [stdout] 46 |     ) -> Box<'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>>;
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 46 |     ) -> Box<dyn 'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>>;
[INFO] [stdout]    |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/flat/mod.rs:219:14
[INFO] [stdout]     |
[INFO] [stdout] 219 |     ) -> Box<'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 219 |     ) -> Box<dyn 'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/unification/mod.rs:159:14
[INFO] [stdout]     |
[INFO] [stdout] 159 |     ) -> Box<Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 159 |     ) -> Box<dyn Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/flat/mod.rs:219:14
[INFO] [stdout]     |
[INFO] [stdout] 219 |     ) -> Box<'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 219 |     ) -> Box<dyn 'a + Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/unification/mod.rs:159:14
[INFO] [stdout]     |
[INFO] [stdout] 159 |     ) -> Box<Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 159 |     ) -> Box<dyn Iterator<Item = Result<HashMap<Variable, Term>, Error>>> {
[INFO] [stdout]     |              +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `head`
[INFO] [stdout]   --> src/flat/compile/clause.rs:35:28
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let body = if let Some(head) = head {
[INFO] [stdout]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_head`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]   --> src/flat/compile/clause.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |     for s in body {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `code`
[INFO] [stdout]   --> src/flat/compile/clause.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     code: &mut Vec<Instruction>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `seen`
[INFO] [stdout]   --> src/flat/compile/clause.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     seen: &mut HashSet<usize>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_seen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/flat/compile/clause.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     vars: &mut HashMap<Variable, Location>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `permanent`
[INFO] [stdout]   --> src/flat/compile/clause.rs:71:5
[INFO] [stdout]    |
[INFO] [stdout] 71 |     permanent: &HashMap<Variable, usize>,
[INFO] [stdout]    |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_permanent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/flat/compile/clause.rs:74:10
[INFO] [stdout]    |
[INFO] [stdout] 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
[INFO] [stdout]    |          ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/flat/compile/clause.rs:76:31
[INFO] [stdout]    |
[INFO] [stdout] 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
[INFO] [stdout]    |                               ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is`
[INFO] [stdout]   --> src/flat/compile/clause.rs:76:34
[INFO] [stdout]    |
[INFO] [stdout] 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
[INFO] [stdout]    |                                  ^^ help: if this is intentional, prefix it with an underscore: `_is`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/flat/compile/clause.rs:77:27
[INFO] [stdout]    |
[INFO] [stdout] 77 |             FlatTerm::Ref(n) => unimplemented!(),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]   --> src/flat/compile/clause.rs:78:37
[INFO] [stdout]    |
[INFO] [stdout] 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
[INFO] [stdout]    |                                     ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/flat/compile/clause.rs:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 |     vars: &mut HashMap<Variable, usize>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/flat/compile/clause.rs:94:39
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ts`
[INFO] [stdout]   --> src/flat/compile/clause.rs:94:42
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
[INFO] [stdout]    |                                          ^^^^^^ help: if this is intentional, prefix it with an underscore: `_ts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/flat/mod.rs:164:29
[INFO] [stdout]     |
[INFO] [stdout] 164 |             Location::Local(n) => unimplemented!("index local"),
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/flat/mod.rs:210:29
[INFO] [stdout]     |
[INFO] [stdout] 210 |             Location::Local(n) => unimplemented!("index local"),
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compile_head` is never used
[INFO] [stdout]   --> src/flat/compile/clause.rs:67:4
[INFO] [stdout]    |
[INFO] [stdout] 67 | fn compile_head(
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compile_body` is never used
[INFO] [stdout]   --> src/flat/compile/clause.rs:84:4
[INFO] [stdout]    |
[INFO] [stdout] 84 | fn compile_body(
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `extract_term` is never used
[INFO] [stdout]   --> src/flat/store.rs:57:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl Heap {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn extract_term(
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     GetValue(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:6:9
[INFO] [stdout]    |
[INFO] [stdout]  6 | #![warn(missing_docs)]
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     GetVariable(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     PutValue(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     PutVariable(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `head`
[INFO] [stdout]   --> src/flat/compile/clause.rs:35:28
[INFO] [stdout]    |
[INFO] [stdout] 35 |     let body = if let Some(head) = head {
[INFO] [stdout]    |                            ^^^^ help: if this is intentional, prefix it with an underscore: `_head`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `s`
[INFO] [stdout]   --> src/flat/compile/clause.rs:56:9
[INFO] [stdout]    |
[INFO] [stdout] 56 |     for s in body {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `code`
[INFO] [stdout]   --> src/flat/compile/clause.rs:68:5
[INFO] [stdout]    |
[INFO] [stdout] 68 |     code: &mut Vec<Instruction>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_code`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `seen`
[INFO] [stdout]   --> src/flat/compile/clause.rs:69:5
[INFO] [stdout]    |
[INFO] [stdout] 69 |     seen: &mut HashSet<usize>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_seen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/flat/compile/clause.rs:70:5
[INFO] [stdout]    |
[INFO] [stdout] 70 |     vars: &mut HashMap<Variable, Location>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `permanent`
[INFO] [stdout]   --> src/flat/compile/clause.rs:71:5
[INFO] [stdout]    |
[INFO] [stdout] 71 |     permanent: &HashMap<Variable, usize>,
[INFO] [stdout]    |     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_permanent`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/flat/compile/clause.rs:74:10
[INFO] [stdout]    |
[INFO] [stdout] 74 |     for (i, f) in flatten(s).into_iter().enumerate() {
[INFO] [stdout]    |          ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/flat/compile/clause.rs:76:31
[INFO] [stdout]    |
[INFO] [stdout] 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
[INFO] [stdout]    |                               ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `is`
[INFO] [stdout]   --> src/flat/compile/clause.rs:76:34
[INFO] [stdout]    |
[INFO] [stdout] 76 |             FlatTerm::Functor(a, is) => unimplemented!(),
[INFO] [stdout]    |                                  ^^ help: if this is intentional, prefix it with an underscore: `_is`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]   --> src/flat/compile/clause.rs:77:27
[INFO] [stdout]    |
[INFO] [stdout] 77 |             FlatTerm::Ref(n) => unimplemented!(),
[INFO] [stdout]    |                           ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `v`
[INFO] [stdout]   --> src/flat/compile/clause.rs:78:37
[INFO] [stdout]    |
[INFO] [stdout] 78 |             FlatTerm::Variable(Some(v)) => unimplemented!(),
[INFO] [stdout]    |                                     ^ help: if this is intentional, prefix it with an underscore: `_v`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `vars`
[INFO] [stdout]   --> src/flat/compile/clause.rs:87:5
[INFO] [stdout]    |
[INFO] [stdout] 87 |     vars: &mut HashMap<Variable, usize>,
[INFO] [stdout]    |     ^^^^ help: if this is intentional, prefix it with an underscore: `_vars`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `a`
[INFO] [stdout]   --> src/flat/compile/clause.rs:94:39
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
[INFO] [stdout]    |                                       ^ help: if this is intentional, prefix it with an underscore: `_a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `ts`
[INFO] [stdout]   --> src/flat/compile/clause.rs:94:42
[INFO] [stdout]    |
[INFO] [stdout] 94 |             Term::Structure(Structure(a, ref ts)) => unimplemented!(),
[INFO] [stdout]    |                                          ^^^^^^ help: if this is intentional, prefix it with an underscore: `_ts`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0601]: `main` function not found in crate `logger`
[INFO] [stdout]   --> src/bin/logger.rs:55:2
[INFO] [stdout]    |
[INFO] [stdout] 55 | }
[INFO] [stdout]    |  ^ consider adding a `main` function to `src/bin/logger.rs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/flat/mod.rs:164:29
[INFO] [stdout]     |
[INFO] [stdout] 164 |             Location::Local(n) => unimplemented!("index local"),
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/flat/mod.rs:210:29
[INFO] [stdout]     |
[INFO] [stdout] 210 |             Location::Local(n) => unimplemented!("index local"),
[INFO] [stdout]     |                             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bail` in this scope
[INFO] [stdout]   --> src/bin/options.rs:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |                     bail!("M0 doesn't support implications.");
[INFO] [stdout]    |                     ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the derive macro `Fail` accepts the similarly named `fail` attribute
[INFO] [stdout]    |
[INFO] [stdout] 82 -                     bail!("M0 doesn't support implications.");
[INFO] [stdout] 82 +                     fail!("M0 doesn't support implications.");
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use failure::bail;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0601`.
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/bin/main.rs:101:13
[INFO] [stdout]     |
[INFO] [stdout] 101 |     m: &mut Machine,
[INFO] [stdout]     |             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 101 |     m: &mut dyn Machine,
[INFO] [stdout]     |             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/options.rs:73:45
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<Machine>, Error> {
[INFO] [stdout]    |                                             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<dyn Machine>, Error> {
[INFO] [stdout]    |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bail` in this scope
[INFO] [stdout]   --> src/bin/options.rs:78:21
[INFO] [stdout]    |
[INFO] [stdout] 78 |                     bail!("M0 only supports one clause in the program.");
[INFO] [stdout]    |                     ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the derive macro `Fail` accepts the similarly named `fail` attribute
[INFO] [stdout]    |
[INFO] [stdout] 78 -                     bail!("M0 only supports one clause in the program.");
[INFO] [stdout] 78 +                     fail!("M0 only supports one clause in the program.");
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use failure::bail;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find macro `bail` in this scope
[INFO] [stdout]   --> src/bin/options.rs:82:21
[INFO] [stdout]    |
[INFO] [stdout] 82 |                     bail!("M0 doesn't support implications.");
[INFO] [stdout]    |                     ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the derive macro `Fail` accepts the similarly named `fail` attribute
[INFO] [stdout]    |
[INFO] [stdout] 82 -                     bail!("M0 doesn't support implications.");
[INFO] [stdout] 82 +                     fail!("M0 doesn't support implications.");
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use failure::bail;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find derive macro `StructOpt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Debug, StructOpt)]
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this derive macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use structopt::StructOpt;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `wam-tutorial-reconstruction` (bin "logger") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: cannot find macro `bail` in this scope
[INFO] [stdout]   --> src/bin/options.rs:78:21
[INFO] [stdout]    |
[INFO] [stdout] 78 |                     bail!("M0 only supports one clause in the program.");
[INFO] [stdout]    |                     ^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: the derive macro `Fail` accepts the similarly named `fail` attribute
[INFO] [stdout]    |
[INFO] [stdout] 78 -                     bail!("M0 only supports one clause in the program.");
[INFO] [stdout] 78 +                     fail!("M0 only supports one clause in the program.");
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use failure::bail;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:54:7
[INFO] [stdout]    |
[INFO] [stdout] 54 |     #[structopt(name = "unification")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find derive macro `StructOpt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 | #[derive(Debug, StructOpt)]
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this derive macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use structopt::StructOpt;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 |         #[structopt(name = "FILE", parse(from_os_str))]
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:62:7
[INFO] [stdout]    |
[INFO] [stdout] 62 |     #[structopt(name = "flat")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:54:7
[INFO] [stdout]    |
[INFO] [stdout] 54 |     #[structopt(name = "unification")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:66:11
[INFO] [stdout]    |
[INFO] [stdout] 66 |         #[structopt(name = "FILE", parse(from_os_str))]
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:57:11
[INFO] [stdout]    |
[INFO] [stdout] 57 |         #[structopt(name = "FILE", parse(from_os_str))]
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find derive macro `StructOpt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:12:17
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[derive(Debug, StructOpt)]
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this derive macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use structopt::StructOpt;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:62:7
[INFO] [stdout]    |
[INFO] [stdout] 62 |     #[structopt(name = "flat")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[structopt(name = "wam",
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]    --> src/bin/main.rs:101:13
[INFO] [stdout]     |
[INFO] [stdout] 101 |     m: &mut Machine,
[INFO] [stdout]     |             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]     = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]     |
[INFO] [stdout] 101 |     m: &mut dyn Machine,
[INFO] [stdout]     |             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:66:11
[INFO] [stdout]    |
[INFO] [stdout] 66 |         #[structopt(name = "FILE", parse(from_os_str))]
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/options.rs:73:45
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<Machine>, Error> {
[INFO] [stdout]    |                                             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<dyn Machine>, Error> {
[INFO] [stdout]    |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 |     #[structopt(subcommand)]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find derive macro `StructOpt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:12:17
[INFO] [stdout]    |
[INFO] [stdout] 12 | #[derive(Debug, StructOpt)]
[INFO] [stdout]    |                 ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: consider importing this derive macro
[INFO] [stdout]    |
[INFO] [stdout]  1 + use structopt::StructOpt;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:21:7
[INFO] [stdout]    |
[INFO] [stdout] 21 |     #[structopt(short = "e", long = "eval")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compile_head` is never used
[INFO] [stdout]   --> src/flat/compile/clause.rs:67:4
[INFO] [stdout]    |
[INFO] [stdout] 67 | fn compile_head(
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compile_body` is never used
[INFO] [stdout]   --> src/flat/compile/clause.rs:84:4
[INFO] [stdout]    |
[INFO] [stdout] 84 | fn compile_body(
[INFO] [stdout]    |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `extract_term` is never used
[INFO] [stdout]   --> src/flat/store.rs:57:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | impl Heap {
[INFO] [stdout]    | --------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 57 |     pub fn extract_term(
[INFO] [stdout]    |            ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:25:7
[INFO] [stdout]    |
[INFO] [stdout] 25 |     #[structopt(short = "q", long = "quiet")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:29:7
[INFO] [stdout]    |
[INFO] [stdout] 29 |     #[structopt(short = "v", long = "verbose", parse(from_occurrences))]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:13:3
[INFO] [stdout]    |
[INFO] [stdout] 13 | #[structopt(name = "wam",
[INFO] [stdout]    |   ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0601]: `main` function not found in crate `options`
[INFO] [stdout]    --> src/bin/options.rs:102:2
[INFO] [stdout]     |
[INFO] [stdout] 102 | }
[INFO] [stdout]     |  ^ consider adding a `main` function to `src/bin/options.rs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:38:5
[INFO] [stdout]    |
[INFO] [stdout] 38 |     GetValue(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:6:9
[INFO] [stdout]    |
[INFO] [stdout]  6 | #![warn(missing_docs)]
[INFO] [stdout]    |         ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:39:5
[INFO] [stdout]    |
[INFO] [stdout] 39 |     GetVariable(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 45 |     PutValue(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a variant
[INFO] [stdout]   --> src/flat/control.rs:46:5
[INFO] [stdout]    |
[INFO] [stdout] 46 |     PutVariable(Location, usize),
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:17:7
[INFO] [stdout]    |
[INFO] [stdout] 17 |     #[structopt(subcommand)]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:21:7
[INFO] [stdout]    |
[INFO] [stdout] 21 |     #[structopt(short = "e", long = "eval")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:25:7
[INFO] [stdout]    |
[INFO] [stdout] 25 |     #[structopt(short = "q", long = "quiet")]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/options.rs:73:45
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<Machine>, Error> {
[INFO] [stdout]    |                                             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<dyn Machine>, Error> {
[INFO] [stdout]    |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot find attribute `structopt` in this scope
[INFO] [stdout]   --> src/bin/options.rs:29:7
[INFO] [stdout]    |
[INFO] [stdout] 29 |     #[structopt(short = "v", long = "verbose", parse(from_occurrences))]
[INFO] [stdout]    |       ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `structopt` is in scope, but it is a crate, not an attribute
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0601`.
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/bin/options.rs:73:45
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<Machine>, Error> {
[INFO] [stdout]    |                                             ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2018) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 73 |     pub fn new_machine(&self) -> Result<Box<dyn Machine>, Error> {
[INFO] [stdout]    |                                             +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `wam-tutorial-reconstruction` (bin "options") due to 14 previous errors; 1 warning emitted
[INFO] [stderr] error: could not compile `wam-tutorial-reconstruction` (bin "options" test) due to 13 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6", kill_on_drop: false }`
[INFO] [stdout] 9885a53685d6cb465347a94bb6d3772ff237d608ed2bef95e30d6b291422b2e6
